منابع مشابه
Prolog and ASP Inference under One Roof
Answer set programming (ASP) is a declarative programming paradigm stemming from logic programming that has been successfully applied in various domains. Despite amazing advancements in ASP solving, many applications still pose a challenge that is commonly referred to as grounding bottleneck. Devising, implementing, and evaluating a method that alleviates this problem for certain application do...
متن کاملIntegrating an Answer Set Solver into Prolog: ASP-PROLOG
A number of answer set solvers have been proposed in recent years, such as Smodels, DLV, Cmodels, and ASSAT. Most existing ASP solvers have been extended to provide front-ends that are suitable to encode specialized forms of knowledge—e.g., weight-constraints, restricted forms of optimization, front-ends for planning and diagnosis. These features allow declarative solutions in specific applicat...
متن کاملASP-Prolog for Negotiation among Dishonest Agents
This paper describes a platform to develop negotiating agents, whose knowledge and rules of behavior are represented as Abductive Logic Programs. The platform implements a flexible negotiation framework. Negotiating agents can operate with multiple goals and incomplete knowledge, and dynamically modify their goals depending on the progress of the negotiation exchanges. Differently from other fr...
متن کاملASP-PROLOG: Composition and Interoperation of Rules
One of the main goals of the Semantic Web initiative [3] is to extend the current Web technology to allow for the development of intelligent agents, which can automatically and unambiguously process the information available on millions of web pages. It has been recognized very early in the development of the Semantic Web that rules are essential for the Web3 and for Semantic Web applications—e...
متن کاملASP-PROLOG: a system for reasoning about answer set programs in prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive power of ASP, allowing us to write programs that reason about dynamic ASP modules and about collections of stable models. These features are vital in a number of application domains (e.g., planning, scheduling, diagnosis)....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International journal of Computer Networks & Communications
سال: 2013
ISSN: 0975-2293,0974-9322
DOI: 10.5121/ijcnc.2013.5307